New Haven , CT 06520
نویسندگان
چکیده
We give a simple, yet very general definition for distributed protocols. We then define notions of knowledge and common knowledge appropriate for these protocols. We study how changes in the states of knowledge relate to more standard notions of computation. We find that by restricting our formulas to certain sets of global states we can realize different, appropriate definitions of knowledge with fundamentally different properties. *Research supported in part by the National Science Foundation under Grant Number DCR-8405478 and by the Office of Naval Research under Contract Number N00014-82-K-0154. tResearch supported by an NSF postdoctoral fellowship and the Mathematical Sciences Research Insitute, Berkeley.
منابع مشابه
Quasi-One Dimensional Models for Glassy Dynamics
Prasanta Pal, Jerzy Blawzdziewicz, and Corey S. O’Hern 4, 5 1 Department of Diagnostic Radiology, Yale University School of Medicine, New Haven, CT, 06520-8042 Department of Mechanical Engineering, Texas Tech University, Lubbock, TX 79409-1021 Department of Mechanical Engineering & Materials Science, Yale University, New Haven, CT 06520-8286 Department of Applied Physics, Yale University, New H...
متن کاملVideo-rate nanoscopy using sCMOS camera- specific single-molecule localization algorithms
1. Department of Cell Biology, Yale University School of Medicine, New Haven, CT 06520, USA 2. Department of Biophysical Chemistry, University of Heidelberg, 69120 Heidelberg, Germany 3. Department of New Materials and Biosystems, Max Planck Institute for Intelligent Systems, 70569 Stuttgart, Germany 4. Department of Biomedical Engineering, Yale University, New Haven, CT 06520, USA 5. Integrate...
متن کاملIssues in the analysis of oligonucleotide tiling microarrays
oligonucleotide tiling microarrays for transcript mapping Thomas E. Royce*, Joel S. Rozowsky*, Paul Bertone, Manoj Samanta, Viktor Stolc, Sherman Weissman, Michael Snyder and Mark Gerstein Department of Molecular Biophysics and Biochemistry, Yale University, New Haven, CT 06520, USA Program in Computational Biology and Bioinformatics, Yale University, New Haven, CT 06520, USA Department of Mole...
متن کاملUsing hand proportions to test taxonomic boundaries within the Tupaia glis species complex (Scandentia, Tupaiidae)
Department of Anthropology, Yale University, P.O. Box 208277, New Haven, CT 06520, USA (EJS) Department of Ecology and Evolutionary Biology, Yale University, P.O. Box 208106, New Haven, CT 06520, USA (EJS, ATR) Division of Vertebrate Zoology, Yale Peabody Museum of Natural History, New Haven, CT 06520, USA (EJS, ATR) United States Geological Survey, Patuxent Wildlife Research Center, National M...
متن کامل1 Assessing the Performance of Different High - density Tiling Microarray Strategies for Mapping Transcribed Regions of the Human Genome
1 Department of Molecular Biophysics and Biochemistry, Yale University, New Haven CT 06520-8114, USA 2 Department of Molecular, Cellular and Developmental Biology, Yale University, New Haven CT 06520-8103, USA 3 Department of Genetics, Yale University School of Medicine, New Haven, CT 06520–8005, USA 4 Department of Computer Science, Yale University, New Haven, CT 06520-8285, USA 5 Center for N...
متن کاملReversible plasticity in amorphous materials
Micah Lundberg, Kapilanjan Krishan, Ning Xu, Corey S. O’Hern and Michael Dennin Department of Physics and Astronomy, University of California at Irvine, Irvine, CA 92697-4575 Department of Physics and Astronomy, University of Pennsylvania, Philadelphia, PA 19104-6396 James Franck Institute, The University of Chicago, Chicago, IL 60637 Department of Mechanical Engineering, Yale University, New H...
متن کامل